Permutability Class of a Semigroup

A characterization of triple semigroup of ternary functions and Demorgan triple semigroup of ternary functions

Integral domains with Boolean t - class semigroup

The t-class semigroup of an integral domain is the semigroup of the isomorphy classes of the t-ideals with the operation induced by t-multiplication. This paper investigates integral domains with Boolean t-class semigroup with an emphasis on the GCD and stability conditions. The main results establish t-analogues for well-known results on Prüfer domains and Bézout domains of finite character. M...

Prüfer Domains with Clifford Class Semigroup

Bazzoni’s Conjecture states that the Prüfer domain R has finite character if and only if R has the property that an ideal of R is finitely generated if and only if it is locally principal. In [4] the authors use the language and results from the theory of lattice-ordered groups to show that the conjecture is true. In this article we supply a purely ring theoretic proof. 1. Bazzoni’s Conjecture ...

Permutability of Rules for Linear Lattices

The theory of linear lattices is presented as a system with multiple-conclusion rules. It is shown through the permutability of the rules that the system enjoys a subterm property: all terms in a derivation can be restricted to terms in the conclusion or in the assumptions. Decidability of derivability with the rules for linear lattices follows through the termination of proof-search.

SPECTRUM OF THE FOURIER-STIELTJES ALGEBRA OF A SEMIGROUP

For a unital foundation topological *-semigroup S whose representations separate points of S, we show that the spectrum of the Fourier-Stieltjes algebra B(S) is a compact semitopological semigroup. We also calculate B(S) for several examples of S.